The present volume is intended as an all-round introduction to constructivism. Here constructivism is to be understood in the wide sense, and covers in particular Brouwer's intuitionism, Bishop's constructivism and A.A. Markov's constructive recursive mathematics. The ending "-ism" has ideological overtones: "constructive mathematics is the (only) right mathematics"; we hasten, however, to declare that we do not subscribe to this ideology, and that we do not intend to present our material on such a basis.

The first part of this paper argued that the traditional application of the Cave to the Line was not intended by Plato, and led to a misunderstanding of both similes. The Cave, it was said, is attached to the simile of the Sun and the Line by the visible region outside the cave, which is a reintegration of the symbolism of sun, originals and images in the sunlight, and the new system of objects inside the cave is compared and contrasted (...) with the natural objects in the visible outside. As we know that the natural symbolism illustrates the Platonic education, our main task in this paper will be to find the meaning of the cave, untrammelled by the associations of the lower line. (shrink)

I would like to begin with the role of philosophy in solving ecological problems, emphasizing two aspects of its role: the struggle against hostile ideology and the organizing and guiding of activity in the sphere of the development of science and the shaping of its problems. This role of Marxist-Leninist philosophy clearly appears in the complex interdisciplinary problem of the interaction between nature and society.

Decisions by industry sponsors to end clinical trials early for commercial reasons have been the subject of controversy. I argue that the principal consideration in assessing these decisions ought to be the way in which the termination would affect the trial’s risk–benefit relationship. If there is not yet sufficient benefit to be gained from the study to offset the risks to which participants were exposed and it is expected that important scientific information would be obtained if the trial were continued, (...) early termination constitutes an unethical alteration of the risk−benefit relationship. This violates the grounds on which permission is given to conduct human research, patients consent to participate, and investigators agree to conduct studies. These knowable and avoidable changes in risk–benefit relationship should generally be seen as impermissible. (shrink)

This new edition brings Farquharson's authoritative 1944 translation up to date and includes a helpful introduction and notes for the student and general reader. Rutherford includes a selection of letters from Marcus to his tutor Fronto--most of which date from his earlier years--that offer personal detail and help to fill out the somber portrait of the emperor that is found in the Meditations.

This paper is a survey of V.A. Smirnovs main results in modern logic.

Health workers and support staff at Malawi’s major referral hospital, the Queen Elizabeth Central Hospital, Blantyre, were on strike between 5th and 19th October 2001. The health workers’ grievances included: lack of risk allowances; poor professional allowances; low salaries; and low housing allowances. The strike resulted in almost total closure of the 1500-bed hospital; only the burns and orthopaedic wards continued to serve patients. Volunteer staff, comprising the Red Cross, and nursing and medical students provided services. Verbal and written threats (...) by the authorities had minimal effect on terminating the strike; rather, they encouraged the resolve to continue with the industrial action. We report aspects of the genesis, progress and resolution of the strike. Although not much seems to have been achieved, both the employer and the workers need to draw lessons from the experience. (shrink)

Open theism argues that traditional responses to the problem of evil fail to provide comfort amidst suffering because of their notion of metaphysical determinism and over-dependence on Greek philosophy. Open theists argue that the best solution to the problem of evil lies in our understanding of the nature of God’s power, which has been relinquished due to his love, the open nature of creation, and the creatures’ inherent powers. This study argues that the open-theistic notion of divine power is reductionistic (...) because it does not consider coercive power as part of divine power. Further, the open theistic logic-of-love defence propagates a loveless God who respects his covenant with the beloved more than the beloved. Finally, the study argues that the open theists’ notions of divine omniscience and divine power are not viable; they raised many questions and objections and, therefore, created room for despair rather than comfort in adversity. (shrink)

Is there any link between the doctrine of logical fatalism and prime numbers? What do logic and prime numbers have in common? The book adopts truth-functional approach to examine functional properties of finite-valued Łukasiewicz logics Łn+1. Prime numbers are defined in algebraic-logical terms and represented as rooted trees. The author designs an algorithm which for every prime number n constructs a rooted tree where nodes are natural numbers and n is a root. Finite-valued logics Kn+1 are specified that they have (...) tautologies if and only if n is a prime number. It is discovered that Kn+1 have the same functional properties as Łn+1 whenever n is a prime number. Thus, Kn+1 are 'logics' of prime numbers. Amazingly, combination of logics of prime numbers led to uncovering a law of generation of classes of prime numbers. Along with characterization of prime numbers author also gives characterization, in terms of Łukasiewicz logical matrices, of powers of primes, odd numbers, and even numbers. (shrink)

Silence has gained a prominent role in the field of psychotherapy because of its potential to facilitate a plethora of therapeutically beneficial processes within patients’ inner dynamics. This study examined the phenomenon from a conversation analytical perspective in order to investigate how silence emerges as an interactional accomplishment and how it attains interactional meaning by the speakers’ adjacent turns. We restricted our attention to one particular sequential context in which a patient’s turn comes to a point of possible completion and (...) receives a continuer by the therapist upon which a substantial silence follows. The data collection consisted of 74 instances of such post-continuer silences. The analysis revealed that silence can retroactively become part of a topic closure sequence, can become shaped as an intra-topic silence, and can be explicitly characterized as an activity in itself that is relevant for the therapy in process. Only in this last case, the absence of talk is actually treated as disruptive to the ongoing talk. Although silence is often seen as a therapeutic instrument that can be implemented intentionally and purposefully, our analysis demonstrated how it is co-constructed by speakers and indexically obtains meaning by adjacent turns of talk. In the ensuing turns, silence indeed shows to facilitate access to the patient’s subjective experience at unconscious levels. (shrink)

The article proposes a new approach to understanding gamification. Its feature lies in taking into account the criticism expressed against gamifi­cation to date. The article examines in detail the history of gamification, it is shown that at its first stage (before 2015) approaches oriented towards extrinsic motivation prevailed, while at the second stage (after 2015) ap­proaches oriented towards intrinsic motivation began to prevail. Ignoring this point just leads to the fact that the criticism expressed in the early 2010s (its main (...) idea was that gamification is a new form of exploitation and manipulation) seems relevant today, although in fact it is no longer so. But it’s not just about rethinking criticism, it’s also about taking a fresh look at gamification itself, which has continued (since 2011) to be defined as «the use of game design elements in non-game contexts”. And this is even despite the fact that such a definition no longer corresponds to the current situation. First, it is confusing by mixing gamification with seri­ous games. Second, it is confusing by limiting gamification to non-game contexts. Third, it is silent about why gamification is used. Fourth, it does not explain exactly which elements are being implemented. Alternatively, we propose our own definition: gamification is a methodology for using metagame elements and mechanics to correct human behavior by creating a favorable emotional background. (shrink)